Higher Order Programming
نویسندگان
چکیده
منابع مشابه
A TRUST-REGION SEQUENTIAL QUADRATIC PROGRAMMING WITH NEW SIMPLE FILTER AS AN EFFICIENT AND ROBUST FIRST-ORDER RELIABILITY METHOD
The real-world applications addressing the nonlinear functions of multiple variables could be implicitly assessed through structural reliability analysis. This study establishes an efficient algorithm for resolving highly nonlinear structural reliability problems. To this end, first a numerical nonlinear optimization algorithm with a new simple filter is defined to locate and estimate the most ...
متن کاملFuzzy multi-objective assembly line balancing problem: Fuzzy mathematical programming approach
Design of assembly line is done in order to more coordinate a collection of some consecutive work stations for the aim of obtaining more productivity from the work stations and workers. The stations are arranged in a way to have a continuous and constant material flow. In this paper a multi-objective formulation for assembly line balancing is introduced. As a solution approach a two-step approa...
متن کاملApplication of stochastic programming for iron ore quality control
Stockpiling and blending play a major role in maintaining the quantity and quality of the raw materials fed into processing plants, especially the cement, iron ore and steel making, and coal-fired power generation industries that usually require a much uniformed feed. Due to the variable nature of such materials, they even come from the same source and the produced ores or concentrates are seld...
متن کاملMathematical solution of multilevel fractional programming problem with fuzzy goal programming approach
In this paper, we show a procedure for solving multilevel fractional programming problems in a large hierarchical decentralized organization using fuzzy goal programming approach. In the proposed method, the tolerance membership functions for the fuzzily described numerator and denominator part of the objective functions of all levels as well as the control vectors of the higher level decision ...
متن کاملHigher-order logic programming in Prolog
This is yet another paper which tells logic programmers what functional programmers have known and practiced for a long time: \higher order" programming is the way to go. How is this paper di erent from some of the others? First, we point out that call/N is not the way to go, despite its recent popularity as the primitive to use for higher order logic programming. Second, we use standard Prolog...
متن کاملA Extensional Higher-Order Logic Programming
The two most prominent declarative paradigms, namely logic and functional programming, differ radically in an important aspect: logic programming is traditionally firstorder while functional programming encourages and promotes the use of higher-order functions and constructs. This difference can be partially explained by the fact that higher-order logic fails in terms of vital properties such a...
متن کامل